Erratum to: Automated problem solving for the behavioral sciences
نویسندگان
چکیده
منابع مشابه
the algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولUsing features for automated problem solving
Wemotivate andpresent an architecture for problem solvingwhere an abstraction layer of “features”plays the key role indeterminingmethods to apply. The system is presented in the context of theorem proving with Isabelle, and we demonstrate how this approach to encoding control knowledge is expressively different to other common techniques. We look closely at two areas where the feature layer may...
متن کاملSocial Problem-solving Abilities and Behavioral Health
Personal health is an aspect of everyday life that typifies both the commonplace and the stressful in the course of a lifetime. Many socialcognitive variables have been associated with indicators of behavioral health and with the adjustment and recovery of individuals facing health-related problems, and these characteristics are important factors in providing interventions (Auerbach, 1989). The...
متن کاملTowards automated training of legal problem solving
An examination of Dutch research on legal case solving revealed that few law students get systematic instruction or testing in the technique of legal problem solving. The research being conducted at the Department of Computer Science and Law at the University of Amsterdam focuses on identifying the different functions in legal reasoning tasks in order to develop computational models which reali...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Behavior Research Methods & Instrumentation
سال: 1973
ISSN: 0005-7878
DOI: 10.3758/bf03200110